21. Practical MATLAB Deep Learning
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer Science; Programming Languages, Compilers, Interpreters; Hardware and Maker; Mathematics of Computing; Programming Techniques
22. Principles and Practice of Constraint Programming CP 2004 :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer Appl. in Administrative Data Processing.,Computer science.,Information systems.,Logic design.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer science.,Logic design.
Classification :
QA76
.
6-76
.
66
23. Pro TBB :
Author: Michael Voss, Rafael Asenjo, James Reinders.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Data structures (Computer science),Algorithm Analysis and Problem Complexity.,Data Structures.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Computer science.,Computer software.,Data structures (Computer science)
Classification :
QA76
.
V67
2019
24. Programming for Software Sharing
Author: edited by D. T. Muxworthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Programming Languages, Compilers, Interpreters.,Software Engineering/Programming and Operating Systems.
Classification :
QA76
.
6
E358
1983
25. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
26. Programming with actors :
Author: Alessandro Ricci, Philipp Haller (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Intelligent agents (Computer software),Computer System Implementation.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Special Purpose and Application-Based Systems.,Computer programming-- software development.,Computer programming.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Intelligent agents (Computer software),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
I58
27. Ruby recipes :
Author: Malay Mandal
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ruby (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
73
.
R83
28. Runtime Verification
Author: edited by Sarfraz Khurshid, Koushik Sen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
29. Scalable uncertainty management :
Author: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
Classification :
Q375
30. Software Composition
Author: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
31. Software engineering and formal methods :
Author: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
I58
2011
32. Source Code Analytics With Roslyn and JavaScript Data Visualization /
Author: Sudipta Mukherjee ; foreword by Darius Blasband
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
Classification :
QA76
.
754
.
M85
2016
33. Swift 3 for Absolute Beginners
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
73
.
S95
34. Systems programming in Unix/Linux /
Author: K.C. Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
Classification :
QA76
.
76
.
O63
W36
2018
35. Tests and Proofs
Author: edited by Achim D. Brucker, Jacques Julliand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
36. Theory of Cryptography
Author: \ Björn Franke (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
Classification :
QA76
.
76
.
T46
2015
E-Book
,
